Fixes #22: Use the vagrant 1.2 config syntax.