add GCC cloog patch