Update ms_scanner.mll