fix gcc 4.6 compilation