travis: try the official 4front deb package