add missing read_string_def to cakeml_computeLib