fix naming in Makefile