Build using Travis CI, see #1464