fix for ptrdiff_t on older php versions