Make this compilable for older g++