gcc: added 4.7.2 version as default