[scripts] fix a small bug when running e-acsl-gcc.sh from an uninstalled version of Frama-C. It impacted the test suite in Frama-C internal mode