restore "./configure --enable-tcc32-mingw" on linux