avoid manual update now that we're using correct biocInstaller version