don't know how to build these paths:
  /nix/store/cw8yzfhqcv3cx7nppbbwg39dknzp9jpf-check-lean-ctx.drv
warning: ignoring the client-specified setting 'store', because it is a restricted setting and you are not a trusted user