Fix/Hack to avoid the cbackend generating spurious array type declarations.