Updated travis file: will it work now?