Fixed Vagrant config for cross-compiling configs