clean up file created by the dagstuhl LIPIcs template

...which SNAPL is using