tweak the tamarin test patch file