bugfix to vagrant bootstrap