Fix "unable to rename file" Windows error (closes #56)