diff -r 83614f884e7a -r 3163ef9c9a2a .gitlab-ci.yml
--- a/.gitlab-ci.yml	Wed Nov 27 16:16:32 2019 +0100
+++ b/.gitlab-ci.yml	Wed Nov 27 16:19:05 2019 +0100
@@ -29,10 +29,10 @@
         - pip install anybadge
         - mkdir ./coverage
         - ./bin/test --coverage coverage | tee ./coverage/coverage.log
-        - GLOBAL_COVER=$(/bin/grep -e '^[[:space:]]*[[:digit:]]\+[[:space:]]\+[[:digit:]]\+\%' ./coverage/coverage.log | \
-              mawk 'BEGIN { lines=0; cov=0 } \
-                    { lines = lines + $1; cov = cov + $1 * $2 / 100 } \
-                    END { printf "%.2f", cov / lines * 100 }')
+        - GLOBAL_COVER=$(/bin/grep -e '^[[:space:]]*[[:digit:]]\+[[:space:]]\+[[:digit:]]\+\%' ./coverage/coverage.log |
+              awk 'BEGIN { lines=0; cov=0 }
+                   { lines = lines + $1; cov = cov + $1 * $2 / 100 }
+                   END { printf "%.2f", cov / lines * 100 }')
         - anybadge --label=Coverage --file=./coverage/coverage.svg --value=$GLOBAL_COVER 20=red 40=orange 60=yellow 80=green
         - echo "Global tests coverage is $GLOBAL_COVER %"
     artifacts: