diff --git a/ci/install_dependencies.sh b/ci/install_dependencies.sh
index 01d39a59..66acbdd9 100755
--- a/ci/install_dependencies.sh
+++ b/ci/install_dependencies.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 set -e
 
@@ -7,14 +7,13 @@ set -e
 #
 # This script builds a shared library of googletest (not googlemock!) inside
 # gtest_build and copies it to /usr/lib/
-function debian_build_gtest() {
-    pushd .
+debian_build_gtest() {
     [ -d gtest_build ] || mkdir gtest_build
     cd gtest_build
     cmake -DBUILD_SHARED_LIBS=1 /usr/src/googletest/googletest
     make
     cp libgtest* /usr/lib/
-    popd
+    cd ..
 }
 
 distro_id=$(grep '^ID=' /etc/os-release|awk -F = '{print $2}'|sed 's/\"//g')