Update jhlib.h