Changing version of travis - not sure if for better