Fix bad ivy.xml