Provide a dummy Makefile for linux32.