Rename 7.2 to 07.2