Rename 10034.cc to 10034_.cc