anchor.diff:  
     installPhase = ''
       mkdir -p $out/share/arduino
  -    cp -r ./build/linux/work/* "$out/share/arduino/" #*/
  -    echo ${version} > $out/share/arduino/lib/version.txt
  +    cp -r ./build/linux/work/* "$out/share/arduino/"
  +    echo -n ${version} > $out/share/arduino/lib/version.txt
   
       ${stdenv.lib.optionalString withGui ''
         mkdir -p $out/bin
  
positive.code:     sha256 = "0ww72qfk7fyvprz15lc80i1axfdacb5fij4h5j5pakrg76mng2c3";
    };
  
    teensyduino_src = fetchurl {
      url = "https://www.pjrc.com/teensy/td_140/TeensyduinoInstall.${teensy_architecture}";
      sha256 =
        lib.optionalString ("${teensy_architecture}" == "linux64")
          "0127a1ak31252dbmr5niqa5mkvbm8dnz1cfcnmydzx9qn9rk00ir"
        + lib.optionalString ("${teensy_architecture}" == "linux32")
          "01mxj5xsr7gka652c9rp4szy5mkcka8mljk044v4agk3sxvx3v3i"
        + lib.optionalString ("${teensy_architecture}" == "linuxarm")
          "1dff3alhvk9x8qzy3n85qrg6rfmy6l9pj6fmrlzpli63lzykvv4i";
    };
  
    buildInputs = [ jdk ant libusb libusb1 unzip zlib ncurses5 readline
    ] ++ stdenv.lib.optionals withTeensyduino [ upx xvfb_run xdotool ];
    downloadSrcList = builtins.attrValues externalDownloads;
    downloadDstList = builtins.attrNames externalDownloads;
  
  
negative.code:           --set-rpath "${teensy_libpath}" \
            ./TeensyduinoInstall.${teensy_architecture}
        chmod +x ./TeensyduinoInstall.${teensy_architecture}
        ./TeensyduinoInstall.${teensy_architecture} --dir=$out/share/arduino
        # Check for successful installation
        [ -d $out/share/arduino/hardware/teensy ] || exit 1
        # After the install, copy the built jars back
        mv $out/share/arduino/lib/arduino-core.jar.bak $out/share/arduino/lib/arduino-core.jar
        mv $out/share/arduino/lib/pde.jar.bak $out/share/arduino/lib/pde.jar
      ''}
    '';
  
  