[e-acsl] fix unexpected interaction with Frama-C compilation when compiling it with --enable-external