now compiles on g++ 4.6.3