Da habe ich wohl nicht genau genug gesucht, das Problem wurde im CVS vor mehr als 6 Monaten behoben:
http://www.mozdev.org/source/browse/….10&r2=1.11&f=h
Jetzt müssten sie das nur nochmal veröffentlichen, die letzte Version (0.13.1) ist vom 9.11.2006.