Correct Windows executable name