WIP: Fixing TravisCI build