patchtool for cmd-line binary patching!