https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35014
--- Comment #7 from cgw at alum dot mit.edu --- Thanks for the suggestion. I will give it a try. However, we're using a gcc from the distribution - either Ubuntu or Anaconda, depending on the platform. We are not configuring and building our own gcc. Configuring our own gcc is possible, but a lot of extra overhead. However, we'd like our end-users to be able to modify the code and recompile it. Asking end-users to configure and build gcc in order to compile our package is not really an option for us.