Finally fix Travis CI integration (hopefully)

Commit references #21.