Support dynamically defined Vagrant machines

This fixes #2810.