Fix linux32 build script