Fix spelling mistake

The build Makefile failed due to a wrong filename