Revert "When calling openocd from a shell like this:"