Fix for g++ 4.8.