Simplify GetBuiltinNames by hoising the NoBuiltins argument out of it.