Hi there,
seems like you have (at least) 2 possibilities:
1. Register another neutral domain and let the machine in that domain handle the mail for both domains.
That way there would be mail.somedomain.com in the headers.
2. install another emailserver for the def.com domain.
--TheDoctor