Getting rid of Exninfo hacks.
Proper thread-safe implementation for Exninfo.