Yet again trying to fix travis-ci