Fixes around installing vagrant