Strange that sjcl doesn't install