fix hand-generated Makefile