FIXUP: travis-ci changes