Since std::allocator<void> is not specialized anymore in 
_GLIBCXX_INLINE_VERSION mode _ExtPtr_allocator<void> specialization do 
not compile

because std::allocator<void> is incomplete.

So I think primary _ExtPtr_allocator template should also be prefered in 
_GLIBCXX_INLINE_VERSION mode.

Ok to commit ?

François