The GNU Portable Shell Tool