renameTo has different behavior on Windows and Linux--swapping it out