Update installation_or_migration_from_dg.sh.in