Other necessary files for travis CI