fixing incompatibility with gcc-4.4