Vagrant fails because libkrb5-dev isn't installed. Add the package to the apt-get install line.
libkrb5-dev
apt-get