Wenn du die Möglichkeit hast, würde ich dir empfehlen trotzdem zu patchen. Es werden noch andere ähnlich ärgerliche Bugs damit beseitigt.