Well, lockfile is probably not what we want, but let's keep its use and

work-around its behavior: chmod u+x the created file.

Scripts/developer_scripts/autotest_cgal

@@ -880,8 +880,10 @@ if [ ${?} != 0 ]; then
     fi
   fi
 fi
+# Make that file writable (lockfile create read-only files
+chmod u+x "$LOCK_FILE"
 # Put the PID of current process in the lock file
-echo $$ >> "$LOCK_FILE"
+echo $$ > "$LOCK_FILE"
 
 # that line makes the script remove the lock file in case of unwanted exit
 trap "rm -f $LOCK_FILE" EXIT HUP INT TERM