more build.xml tweaks.