fix gcc4.6 compilation