ui_semantic is now ui_emulator ; ui_emulator & ui_text: remove workaround for linux ; ui_emulator: use new API