Updating travis: use 8.0.x branch