Fix travis build configuration #7