Fix Travis for pull requests.