restore Makefile that is probably necessary for ACL2(r).