Fix vagrant.sh to install erl17 and fix elm install.