adding SWIFT_EXTRA_OPTIONS option