the dagstuhl style creates this junk file
Merge pull request #16 from jamesbornholt/patch-1

clean up file created by the dagstuhl LIPIcs template