a DVI-to-PNG converter
