Fix sh compatability problem

Fix Debian sh compatibility problem in @gbtitus test. Greg, please merge once you look at this.