again: correct repo file name for makefile