Add file for choreography