--- utils/launch.sh.orig	Fri Jan 29 17:17:15 2016
+++ utils/launch.sh	Fri Jan 29 17:17:17 2016
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/ksh
 
 usage() {
     if [ "$*" ]; then
