Revert "Remove generated file"

This reverts commit e80f725ff966311086f9fc397f2e321ce05f3e93.