TopStackRepoChef: Fix build.xml