cleanpatch: a script to clean up stealth whitespace added by a patch