anchor.diff:  -- this will be damaged by the batch construction at the start of this file
   local oarg = arg  -- retain old table
   if #arg > 0 then
  -	farg = table.concat(arg, " ") .. " "
  +	local farg = table.concat(arg, " ") .. " "
   	arg = {}
   	farg = farg:gsub('%"', "")
   	local i = 0
  
positive.code: 	else
  		-- no prefix given, so use path
  		directories = (os.getenv("PATH",";") or "")
  		local i = 1
          while i ~= 0 do directories, i = directories:gsub(";;",";") end  --remove all doubles
  		directories = split_string(directories,";")
  		-- if a path element ends with "\bin\" then remove it, as the searcher will check there anyway
  		for i, val in ipairs(directories) do
  
negative.code: 	os.exit(1)
  end
  
  local function split_string(str, delim, maxNb)
  	-- Eliminate bad cases...
  	if string.find(str, delim) == nil then
  		return { str }
  