Ich würde dazu raten, mal Bugzilla zu durchsuchen; vielleicht ist das Problem bekannt. Wenn nicht kann man einen Bug aufmachen und hoffen, daß jemand das Problem behebt.