now it builds with g++ 4.6.3.