rmdir(2) on Linux

The text 8ed9aa54c48a, as Debian 12 (Bookworm) shipped it.

delete a directory

rmdir(2) on Linux now