install-debian.sh does not exist anymore. travis-ci must use install-ubuntu-12_04.sh