[eo] added a file that was missing in a previous checkin
     which caused jenkins build failure.