Fix md5 of alcotest