When the executable is linked with PIE, it is not possible for E-ACSL
to produce an accurate backtrace. This commit deactivate PIE if
e-acsl-gcc.sh compiles in debug mode.