Rename main file in accordance with official rename.