revert commit of a generated file (#4827)