leifeld Downgraded travis-ci from bionic due to recent travis bug