K 10 svn:author V 4 jkim K 8 svn:date V 27 2013-05-22T17:47:45.800457Z K 7 svn:log V 60 Improve compatibility with old flex and fix build with GCC. END