Miscellaneous utilities specific to Debian