É um bug e está conectado ao link
Eles desde então consertaram o bug, mas se você atualmente está preso no loop infinito, isso não é muito bom para você. Na resposta ao bug, o usuário Flo publica uma solução alternativa onde você altera o arquivo update_db, isso funcionou para mim:
$diff update_db update_db.orig
479,480c479,482
< str=$(echo "$line" | head -n 1);
< line=$(echo "$line" | tail -n +2);
---
> str=$(echo "$line" | cut -d -f 1);
> line=$(echo "$line" | cut -d -f 2-);