Correcting a bug in 32 bits Makefiles