Merge pull request #1072 from tony/remove-bashisms

Switch to /usr/bin/env sh for portability

Makefile

-SHELL := /bin/bash
+SHELL := /usr/bin/env sh
 
 # prints variables for debugging
 print-%: ; @echo $($*)