Fix build (some nonexistent files listed in Makefile)