improve travis-ci support