@@ -320,7 +320,7 @@ Z3_VER=4.8.8
320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
323−LIBJWT_VER=1.12.0
323+LIBJWT_VER=1.12.1
325pushd /tmp \
325pushd /tmp \
326 && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \
326 && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \