this will automatically get fixed when we make ffox 3.5 the default; however, this will take another few weeks (and wont happen for jaunty), so we should fix it anyway.
this will automatically get fixed when we make ffox 3.5 the default; however, this will take another few weeks (and wont happen for jaunty), so we should fix it anyway.