Fix executable name typo in Makefile