Modify the name of the generated executable (the makefile work at this point)