Fixing a princexml install bug.