Another try to fix travis