Fix to compile using g++-4.7