Use sjcl for the random salt