config_file.l: Make the scanner reentrant.