Correct executable name