corrections in filenames (and Makefile)