Ed: add gcc4.7.2 compatibility