Add openocd support for POSIX make