Fixes to vagrant provision scripts