Fix for travis-ci again