use proper executable name