file 1040-x if he has SSN or tax id