Adjust Makefile following rename of built executable