Fix build with g++ 4.4.