fix for: x86_64-tcc compiled by i386-tcc is wrong