--- share/polo/files/gtk-theme/install-gtk-theme.orig	2018-08-12 04:41:58 UTC
+++ share/polo/files/gtk-theme/install-gtk-theme
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 gtk_major=$( polo-gtk3-helper --major )
 if [ $? -ne 0 ]; then exit 1; fi
@@ -11,7 +11,7 @@ DIR="$( cd "$( dirname "$0" )" && pwd )"
 cd $DIR
 if [ $? -ne 0 ]; then exit 1; fi
 
-if (($gtk_minor == 14)) || (($gtk_minor == 16)) || (($gtk_minor == 18)) || (($gtk_minor == 20)) || (($gtk_minor == 22)); then
+if [ $gtk_minor = 14 -o $gtk_minor = 16 -o $gtk_minor = 18 -o $gtk_minor = 20 -o $gtk_minor = 22 ]; then
 	gtk_version="$gtk_major.$gtk_minor"
 else
 	gtk_version="3.22"