added a few files previously generated by a release script