This reverts commit b2623d3a. The revert was an error since there was an override in my environment fetching a more recent version of openocd.