1#!/bin/sh 2# bash is used in various headers so we need a wrapper to invoke sh 3# instead. 4exec sh "$@" 5