BUG: add libgddapi_krb5 to system library list for packaging on CentOS 6

23 jobs for !719 with fix_ci_centos in 66 minutes and 40 seconds (queued for 3 seconds)
merge request