Origami required files, Travis etc.