fix gcc 4.6 build (hopefully)