Update libcoinhsl and libpfm4.