diff --git a/src/arduino.cc/builder/hardware/platform.txt b/src/arduino.cc/builder/hardware/platform.txt
index ca8df1f..17ce03f 100644
--- a/src/github.com/arduino/arduino-builder/hardware/platform.txt
+++ b/src/github.com/arduino/arduino-builder/hardware/platform.txt
@@ -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}