fix compatibility with older g++