Modify file name in Makefile