The special 'Builtin' module is implicitly imported via -parse-stdlib, and can't be found via normal import resolution, so we shouldn't print it in a textual interface.
