tweak to library z39.50 server file