building for 32bits requires invoking linux32