work around compile error with g++ 4.3.2