Temp fork of openocd source