Rename FingerTree file