rmdir(2) on Linux

The text aa41b223b7b7, as Debian 4.0 (Etch) shipped it.

delete a directory

rmdir(2) on Linux now