r23474: Here's a small patch that disables the libkrb5.so replay cache