From what I've read, it seems like the IRS e-file system will not take this situation. So it needs to be filed by mail.
