let rename ~ext1 ~ext2 file = if Sys.file_exists (file^ext1) && not (Sys.file_exists (file^ext2)) then begin prerr_endline ("Renaming "^file^ext1^" to "^file^ext2); Sys.rename (file^ext1) (file^ext2) end