Update redhexlib.js