diff --git a/util/bootstrap b/install/bootstrap
similarity index 100%
rename from util/bootstrap
rename to install/bootstrap
diff --git a/util/install b/install/install
similarity index 100%
rename from util/install
rename to install/install
diff --git a/util/install-anod-venv b/install/install-anod-venv
similarity index 100%
rename from util/install-anod-venv
rename to install/install-anod-venv
diff --git a/util/install-gnat b/install/install-gnat
similarity index 100%
rename from util/install-gnat
rename to install/install-gnat
diff --git a/util/support/__init__.py b/install/support/__init__.py
similarity index 100%
rename from util/support/__init__.py
rename to install/support/__init__.py
diff --git a/util/support/arguments.py b/install/support/arguments.py
similarity index 100%
rename from util/support/arguments.py
rename to install/support/arguments.py
diff --git a/util/support/commands.py b/install/support/commands.py
similarity index 100%
rename from util/support/commands.py
rename to install/support/commands.py
diff --git a/util/support/log.py b/install/support/log.py
similarity index 100%
rename from util/support/log.py
rename to install/support/log.py