revert to pre-2011 standard so that we can use old GCC instead of clang