Have the makefile clean up the right binary