restore autogenerated files for the sake of CI