Fix mess with imports for sjcl.