'make uninstall' now removes the executable properly.