No, you do not have to file an extension if you mailed your return to the IRS. Your return is considered received by the IRS when you put it in the mail. It does not matter when they receive it or process it. It just has to be postmarked by April 15, 2019.