bumped gcc to 4.8.1