Include empty .c file in libbarvinok if GiNaC was not found.