built on linux32 with GCC 4.4.5; fixed build script