fixed executable name on MS Windows