I’m trying to run agda with a particular standard library which comes with a repo I checked out. The recommended approach by the repo developer is to configure your ~/.agda dot files to point at the correct standard library. However, the nixpkg for Agda overrides this mechanism and ignores my dot files. Is there a way I can point agda at the correct libraries?