fix for travis ci with gcc4.7