added sjcl library