bugfix
add crl to server config