Issue #148: Travis CI