Contrary to the lines above, I don't think this one is needed (double-setting `extension_build_type` doesn't make much sense either, but that's orthogonal).