Added OS detection to debug command so that the correct openocd version is called