===> Cleaning for liboqs-0.15.0