Development/coccinelle: Upgraded