EIP_VM: EDIT: ocsigen_install.sh