A repo to demo Vagrant bug #4292