diff --git a/Scripts/developer_scripts/check_library_uses_no_gpl_files b/Scripts/developer_scripts/check_library_uses_no_gpl_files
index b76da0a3d3f..1d88879cfc0 100755
--- a/Scripts/developer_scripts/check_library_uses_no_gpl_files
+++ b/Scripts/developer_scripts/check_library_uses_no_gpl_files
@@ -70,7 +70,7 @@ rm -fr demo/[A-Z]*
 rm -fr examples/[A-Z]*
 # Somehow -DWITH_CGAL_Core=OFF is not taken into account, hence the CORE files
 # are listed in the exceptions file.
-QTDIR= cmake . -DBUILD_SHARED_LIBS=TRUE -DWITH_CGAL_Qt4=OFF -DWITH_CGAL_Core=OFF
+cmake . -DBUILD_SHARED_LIBS=TRUE -DWITH_CGAL_Qt5=OFF -DWITH_CGAL_Core=OFF
 make | grep -C 10 "No such file" || true
 echo " done"
 echo