forward kerberos token even when not required
also consider revisiting the default behaviour (add an option?)
USE_KERBEROS=true
if [ "$1" = "--no-kerberos" ]; then
shift
USE_KERBEROS=false
elif [ "$USE_DISTCC" != true ]; then
USE_KERBEROS=false
fi