Updated Openscop submodule