This issue will be fixed in 7-500.

All email addresses from Active Directory will be synced into the user object.

Also, please check, if the user prefetch is a requirement for you at all. The vast majority of users are perfectly fine with just using automatic user creation.