Try to appease g++ 4.6.3.