Oops.

Well, I know now why the build failed: git didn't push all my changes for some reason. Let's try this again.