Makefile for Linux 32 bit.  WARNING: untested!