fix binary name in make file