Extra utilities for debian package management