Update ubuntu-14.04-dev-bootstrap.sh