let json parser accept lower-case hex digits