Consistency fix regarding newer-style flex scanner generation