enabled non-ia32 backends again: undo change 14191