added personal box name field. old box name field is only reliable for the internal vagrant box name and should not be customized in the most cases