update to scanner.mll