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}