[debie1] reenable printf's and fix several conversion specifiers

1 job for master in 90 minutes and 2 seconds (queued for 4 seconds)
Name Stage Failure
build Test The script exceeded the maximum execution time set for the job
Initialized empty Git repository in /builds/pub/open-source-case-studies/.git/
Created fresh repository.
Checking out d78324cb as master...

Skipping Git submodules setup
Executing "step_script" stage of the job script
Using docker image sha256:5fb8443faa467c84706af3a3935a81e894d8d54e11a42c730d71b663de0d94cc for framac/frama-c:dev-stripped with digest framac/frama-c@sha256:76c998325e2ad9d2241ad80d001de9eae97b5b3b848d54b0635d9a36de788cba ...
$ make -B all >/dev/null
ERROR: Job failed: execution took longer than 1h30m0s seconds