Updated executable name in README