On F1 you do not count days towards the substantial presence test for the first 5 calendar years, so from 2013 to 2017. So for 2017 you are still a nonresident alien. You would just file the 88443 forms for previous years now (one form per envelope)
