patched r5588