F# proj to rename files