fixes for "tcc -E -dD"