Fix xrootd 4.0.2 build.