travis: proper names and syntax, broke dpkg?