anchor.diff:  del "%DOWNLOADER%"
   
   :: Cygwin command line options: https://cygwin.com/faq/faq.html#faq.setup.cli
  -if "%PROXY%" == "" (
  +if "%PROXY_HOST%" == "" (
       set CYGWIN_PROXY=
   ) else (
       set CYGWIN_PROXY=--proxy "%PROXY_HOST%:%PROXY_PORT%"
  
positive.code: set CYGWIN_USERNAME=root
  
  :: set proxy if required (unfortunately Cygwin setup.exe does not have commandline options to specify proxy user credentials)
  set PROXY_HOST=
  set PROXY_PORT=
  
  echo.
  echo ###########################################################
  
negative.code:     echo # Installing apt-cyg package manager if required
      echo #
      echo if ! [[ -x /usr/local/bin/apt-cyg ]]; then
      if not "%PROXY_HOST%" == "" (
          echo     # temporary proxy settings during initial installation
          echo     export http_proxy=http://%%PROXY_HOST%%:%%PROXY_PORT%%
          echo     export https_proxy=http://%%PROXY_HOST%%:%%PROXY_PORT%%
  