fix some problems with vagrant bootstrap