Fix travis ci setup

Fixes #13