Remove unused config-top.h.