tried to change filename, maybe windows will cope this time