r22452: fix creation of MK_FILES variable in Makefile