GMP is only required for CLooG