make g++ 4.6 happy