After you file

Yes, he has to amend in order to not claim an exemption for himself, even if it doesn't change his refund. If he does not amend, you will not be allowed to claim him as a dependent.