Fix last cloog patch.