Rename 5.12 to 05.12