Check travis yml..

The CI was failing to install packages because the pulseaudio package
has vanished. Always upate the apt repository before doing the installation.