options_table: Remove a now unnecessary include of config.h