bypass a bug in g++ 4.8.2