fix debian packaging for 1.8.1