Rename 12.3.1.cpp to 12.3a.cpp