Debian packaging for TSM