Fix cocci target