nanogui: Thread: about head file for arm