debian packaging for libebur128