cleanup
where is dvisvgm, again?