diff --git a/Allwmake b/Allwmake
index 793823f7..baa97916 100755
--- a/Allwmake
+++ b/Allwmake
@@ -352,7 +352,7 @@ echo Build CGAL
 if [ -n "$CGAL_ARCH_PATH" ]
 then
 (
-    if [ -r $CGAL_ARCH_PATH/lib/libCGAL.so ]
+    if [ -r $CGAL_ARCH_PATH/lib$WM_COMPILER_LIB_ARCH/libCGAL.so ]
     then
         echo "    CGAL headers in $CGAL_ARCH_PATH/include"
         echo "    CGAL libs    in $CGAL_ARCH_PATH/lib"