Issue #15: resolved ./configure: /bin/bash: bad interpreter: Permission denied