figure out cvmfs binary versions in python