fingerprint-gui 1.06 -> 1.07 ragel 6.9 -> 7.0.0.5 z3 4.4.0 -> 4.4.1