Makefile to compile Linux 32bits