Ease chipKIT users' minds when OpenOCD cannot be installed.