Patching-tool assert the installed fix