Fix vagrant issues

This fixes the Vagrant setup for me.