fix non-Debian coverage target