Fix patch of badzero.cocci
Fix patch of badzero.cocci

Cannot understand why the script was found anyway 

Signed-off-by: Gianpaolo Macario <d50c09b51e61901a1c5054dce86f92776c198faa@mentor.com>
gmacario/learning-coccinelle