"# [19:54] the fix might mean renaming mozilla/StdInt.h possibly, which is not the sort of thing he is best done hastily to fix bustage, if he is what it were to come to" . . . .