===> Cleaning for liboqs-0.14.0