minor fixes for post vagrant shell scripts