Fix Mozilla configure options