travis: Use older package name, to work on Ubuntu 12.04