WIP: Add travis-ci tweak