Update jnxfile.h