Fixing travis for pull requests