Rename 10034_.cc to 10034.cc