anchor.diff:      cp -r .  "$out/share/ccl-installation"
   
       mkdir -p "$out/bin"
  -    echo -e '#!/bin/sh\n'"$out/share/ccl-installation/${CCL_RUNTIME}"' "$@"\n' > "$out"/bin/"${CCL_RUNTIME}"
  +    echo -e '#!${stdenv.shell}\n'"$out/share/ccl-installation/${CCL_RUNTIME}"' "$@"\n' > "$out"/bin/"${CCL_RUNTIME}"
       chmod a+x "$out"/bin/"${CCL_RUNTIME}"
       ln -s "$out"/bin/"${CCL_RUNTIME}" "$out"/bin/ccl
     '';
  
positive.code:     sha256 = cfg.sha256;
    };
  
    buildInputs = [ gcc glibc m4 ];
  
    CCL_RUNTIME = cfg.runtime;
    CCL_KERNEL = cfg.kernel;
  
    postPatch = ''
      substituteInPlace lisp-kernel/${CCL_KERNEL}/Makefile \
        --replace "/bin/rm"    "${coreutils}/bin/rm" \
        --replace "/bin/echo"  "${coreutils}/bin/echo"
  
negative.code: 
  let
    options = rec {
      /* TODO: there are also FreeBSD and Windows versions */
      x86_64-linux = {
        arch = "linuxx86";
        sha256 = "0hs1f3z7crgzvinpj990kv9gvbsipxvcvwbmk54n51nasvc5025q";
  