drop_type(7l) on Linux

The text 560ee3ae8f02, as Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

remove a user-defined type from the system catalogs

drop_type(7l) on Linux now