Modify puppet and shell files to make vagrant up work successfully