[PATCH] Debian packaging fixes