For reference the request to package the required tools it at https://bugs.debian.org/89540 . Regards, Salvatore