Fix a typo in the executable name