Fix cloog configure flags and GCC-4.8 flags