adjust symbol lexing yet again
defensively load the dummy console for ALL browsers that lack it