https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123976
--- Comment #222 from Peter Dyballa <Peter_Dyballa at web dot de> --- But anyway: I can restart next time in a new Terminal window and set PATH and PKG_INFO_PATH and maybe some more environment variables.
