avoid a bug of g++ 4.6.1 temporarily