as nothing uses this difference_type anyway, just don't bother defining it. Fixes build for Ubuntu 11.10, no change elsewhere.