Fix for some versions of gcc