Patch the taskd PKI scripts to make them easier to work with