Fix travis
Merge pull request #1 from japaric/travis-debug

Fix travis