travis-ci changes/bugfixes