anchor.diff:  
       poly < tools/smart-configure.sml
   
  -    bin/build ${kernelFlag} -symlink
  +    bin/build ${kernelFlag}
   
       mkdir -p "$out/bin"
       ln -st $out/bin  $out/src/${holsubdir}/bin/*
  
positive.code:     cd ${holsubdir}
  
      substituteInPlace tools/Holmake/Holmake_types.sml \
        --replace "\"/bin/mv\"" "\"mv\"" \
        --replace "\"/bin/cp\"" "\"cp\""
  
      for f in tools/buildutils.sml help/src-sml/DOT;
      do
  
negative.code: 
  let
    pname = "hol4";
    vnum = "14";
  in
  
  let
    version = "k.${vnum}";
    longVersion = "kananaskis-${vnum}";
    holsubdir = "hol-${longVersion}";
    kernelFlag = if experimentalKernel then "--expk" else "--stdknl";
  in
  
  let
  