Rename set.h