Fix Travis again to only use packages in Ubuntu 12.04.