rename Inf.h to inf.h