Log Message:
ptrdiff_t is not defined for this header for at least Ubuntu 11.10.  But
as nothing uses this difference_type anyway, just don't bother defining it.

Fixes build for Ubuntu 11.10, no change elsewhere.