Made code compilable with older g++