Temp dpkg stuff for debian