Issue #125. Tweaked travis config.
Issue #125. Tweaked travis config.