Fix Vagrant setup

This pull request provides a fix for issue #191.