How should I submit Form 8833 after I efile my tax return

My spouse holding an F1-Visa, so we are qualified for the $5000 deduction (US-China tax treaty). However, we already efile our tax return on TurboTax. Could we mail form 8833 separately to the IRS, or we should mail Form 8833 and all tax documents (1040) prepared with TurboTax?