Modification to travis CI