check in the modifications for firefox SDK, now seems all works