Correcting csps-suite after libcsps submodule update