Fix wrong file name in hex_lexer.h