Fix for building with gcc