yet another try to fix travis