Rename 12372 to 12372.cpp