correct repo file name for makefile