gprolog: patch hard-coded path to the temporary file /tmp/make.log