#1012: revert RTLD_GLOBAL workaround