Provide a dummy Makefile for linux64.