patch to fix build with gcc-2.95