seti@home linux fedora