better filenames
some info printings in Makefile