diff --git a/README_SETUP.md b/README_SETUP.md
index 3352a5385a304f1095c1d78aee58ddef5341a0bd..28ab8241d2083be612a1156adbbf493a4268d79b 100644
--- a/README_SETUP.md
+++ b/README_SETUP.md
@@ -3,6 +3,7 @@
 ## Dependencies
 * `MariaDB Client 10.1`, `MySQL Client 5.5`, or later versions.  In the case of
   MySQL, version 5.6 is recommended.
+- make
 
 ## Create the configuration
 * Run `./configure`. For the default values and the meaning of these default
diff --git a/utils/make_db b/utils/make_db
index 4dbc80e4b97c29816106184daaa5f4d894288331..b706438c9c56aa0acb117b2c050756be998215c5 100755
--- a/utils/make_db
+++ b/utils/make_db
@@ -108,27 +108,6 @@ function _setup_mytap() {
     echo [DONE]
 }
 
-function setup_os() {
-    # - mariadb-client :: For SQL server configuration.
-    PACKAGES="
-        git
-        make
-        mariadb-client
-        maven
-        openjdk-8-jdk-headless
-        python3-pip
-        screen
-        unzip
-    "
-    # - vim :: For debugging
-    PACKAGES+="
-        vim
-    "
-    apt-get update
-    apt-get dist-upgrade -y
-    apt-get install -y $PACKAGES
-}
-
 function install_db() {
     if _db_exists ; then
         echo -e "\n