travis: try another package set for ubuntu 12.04