tiny fix on parser.y: change isxdigit to ISXDIGIT