Vagrantfile config vm named bigtop instead of default