got rid of 2 flex warnings about unused symbols + one const misuse