gcc: version bumped to 4.8.1.