fix header file name in Makefile