Update filenames in Makefile