fixed travis-ci again...