http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56269
--- Comment #3 from shimonya at gmail dot com 2013-02-09 20:00:07 UTC --- Thank you for your fast reply. What can I do in order to have only version 4.7.2? (In reply to comment #2) > You seem to have a version mix of 4.5.3 and 4.7.2