fixing incorrect file names in make file