The file CompBSDLP-prog.zip has a wrong name and is referred to by a link in an arXiv paper. I have overcome the problem by copying compCSfFS-imp-2021-08-06.zip to CompBSDLP-prog.zip without updating the mentioned arXiv paper. I have also copied compCSfFS-imp-2021-08-06.zip to compCSfFS-imp-2020-08-07.zip to enforce using the newest version.