rename interface/all.h to interface/all_barvinok.h