That is, indeed, the wrong install.xml... Must have screwed up something
somewhere.