Sort out travis issue hopefully