gcc: update from 4.8.0 to 4.8.1