The text 9de01744b627, as Debian 12 (Bookworm) shipped it.
Shut down RTAPI
rtapi_exit(3rtapi) on Linux now
