Fix executable name in README