Add a bit of documentation about g++ 4.8.