Patches for Tripwire plugin [sf#759976] [#526]