Small fixes to 32 bit firefox