improve travis-ci support, again