WIP: Fix Travis CI build