Attempting to fix a compile problem with g++ 4.8.