>ハロウィン休暇で
どこからそんなガセネタが出てくるんだろう。
ハロウィンは祝日じゃないので社会人が休暇を取ることはありませんよ。

Andreas の「修正」は特定のバグしか直せず、副作用も多いので
半年くらい塩漬けしてから使いましょう。又はソースコード差分を入手して
バグを理解してから自分でパッチ。