Work around g++ 4.8.2 bug