boinc: update to version 7.2.42