LatticeTilingTest.c: fix output string format for total to avoid compiler errors