Look for agda libs in .nix-profile