fix exename on windows, should be noop otherwise