[Hackage] #720: Executables fail on windows if the executable name has a dot in it