===> Cleaning for oqs-provider-0.7.0