===> Cleaning for liboqs-0.13.0