but for spicedb migrate - do we have to use the shared key?