correctly, and deal better with the ccache name containing spaces.
This should have been a problem on OS X since the default ccache is
"API:Initial default ccache". I think it wasn't only because if OS X
didn't recognize the KRB5CCNAME value, it assumed the default cache.