Issue #121: Fix travis build for pull requests and tags