.travis.yml and install-ubuntu-12_04.sh updated