Hacked up version of OpenOCD