Fix binary names in Makefile