[Users] debian packaging question