Hopefully fix travis ci