adjust publish for new compiler output. It now follows the form .../@dot.xml instead of .../@dot.bin.xml