travis: try again with https://...