Tweak to xrootd-server-devel requirement