Another try to fix the Travis bug.