--- src/grt/grt.ver.orig 2015-05-27 18:49:40 UTC +++ src/grt/grt.ver @@ -19,6 +19,8 @@ vpi_remove_cb; vpi_scan; vpi_vprintf; vpi_printf; +__progname; +environ; local: *; };