--- spim/Configure.orig	Wed Nov 23 18:20:17 2011
+++ spim/Configure	Wed Nov 23 18:20:32 2011
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 # Shell script to configure SPIM.
 #
