32-bit Linux makefile