SIRIUS hotfix

We released a patch for SIRIUS+CSI:FingerID (now version 3.4.1) that fixes some critical bugs. We recommend everybody to download the newest version of SIRIUS.