http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51727 --- Comment #5 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> 2012-10-06 12:46:36 UTC --- Created attachment 28373 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28373 bad module