Hopefully fix travis