dvitomp • man page