sed replacement fixes for h_emu_user_fixes()