Minor fixup in the build system