Whoops, accidently commited a version with the wrong g++. (Although
it was the right version to build on a Mac with gcc installed via
Homebrew.)