diff -up arduino-builder-1.3.25/src/arduino.cc/builder/hardware/platform.txt.pathfix arduino-builder-1.3.25/src/arduino.cc/builder/hardware/platform.txt
--- arduino-builder-1.3.25/src/arduino.cc/builder/hardware/platform.txt.pathfix	2017-08-15 10:54:12.828678098 -0400
+++ arduino-builder-1.3.25/src/arduino.cc/builder/hardware/platform.txt	2017-08-15 10:54:19.061521381 -0400
@@ -1,11 +1,11 @@
 # ctags
 # ------------------------------
-tools.ctags.path={runtime.tools.ctags.path}
-tools.ctags.cmd.path={path}/ctags
+tools.ctags.path=/usr/bin
+tools.ctags.cmd.path={path}/arduino-ctags
 tools.ctags.pattern="{cmd.path}" -u --language-force=c++ -f - --c++-kinds=svpf --fields=KSTtzns --line-directives "{source_file}"
 
 # additional entries
-tools.avrdude.path={runtime.tools.avrdude.path}
+tools.avrdude.path=/usr/bin
 
 preproc.macros.flags=-w -x c++ -E -CC
 #preproc.macros.compatibility_flags={build.mbed_api_include} {build.nRF51822_api_include} {build.ble_api_include} {compiler.libsam.c.flags} {compiler.arm.cmsis.path} {build.variant_system_include}