Rename main_1080.txt to main_1080.cc