fix #8311, spurious warning about importing Core.eval into Main