Fix gcc 4.2 build