fix wrong executable name in README