Pin xrootd version to 4.12.5 in all debian builds

1 job for master