added a missing generated file