Patch for older g++ installs