Hopefully fix travis config