Update jnxdebug.h