===> Cleaning for liboqs-0.10.1