the dagstuhl style creates this junk file