Regenerate files ( 831d81a4f4501da9339eb2839df1733cf0424756 )