This should work with g++ 4.8