adjust for g++4.4