Do not use /tmp as default for s4u2proxy