Miscellaneous utilities from Debian
