documentation for SWIFT_EXTRA_OPTIONS