Fix dumpstate compilation