'export_symbols' can be None (not sure this is a good idea: it's inconsistent
  with every other instance attribute of Extension).