fix breakage with gcc 4.9