Remove useless inclusions of config.h