Tweak the filename linked to on windows