travis-ci fixups