diff --git a/tools/setup_Debian.sh b/tools/setup_Debian.sh
index 0c32578388..7b088722ac 100755
--- a/tools/setup_Debian.sh
+++ b/tools/setup_Debian.sh
@@ -57,7 +57,7 @@ source /etc/lsb-release
 echo "deb http://apt.dockerproject.org/repo ubuntu-${DISTRIB_CODENAME} main" | sudo tee /etc/apt/sources.list.d/docker.list
 add_key
 sudo apt-get update
-sudo apt-get -y install --no-install-recommends 'docker-engine=1.12.*'
+sudo apt-get -y install --no-install-recommends 'docker-engine=1.13.1*'
 
 sudo service docker stop
 if [[ ${DISTRIB_CODENAME} == "trusty" ]]; then
diff --git a/tools/setup_RedHat.sh b/tools/setup_RedHat.sh
index 5a3f484581..490f825632 100755
--- a/tools/setup_RedHat.sh
+++ b/tools/setup_RedHat.sh
@@ -44,7 +44,10 @@ gpgcheck=1
 gpgkey=https://yum.dockerproject.org/gpg
 EOF
 
-sudo yum -y install libffi-devel openssl-devel docker-engine-1.12.6 docker-engine-selinux-1.12.6 btrfs-progs
+sudo yum -y install libffi-devel openssl-devel docker-engine{,-selinux}-1.13.1 btrfs-progs
+
+# Disable SELinux
+setenforce 0
 
 setup_disk