Using gcc 4.8.1 instead of 4.7.2.