fixing vagrant file and provision