Manpages of dmktools in Debian testing