Do I have to mail in my amended 2017 taxes? I downloaded the software and filled it all out, but it wouldn’t let me efile.