Be more careful about .exe naming on Windows