Add back some deleted autogenerated files