Regenerate files ( 7255a9fe4fff567290bfe11b6482a41d7393e0da )