Updated the content of change_Vagrantfile_box_hostname and made it executable