CakeML:c73c4d9b8478846b67abaaa5afaadfdab25a4813 Mcandidate fix 2 (#1409) [Jun 11 04:51:05] HOL:9d7499d9bd45579524e6a8bb982571208b67a905 Fix mosml build of Holmake (must compile fspathTrie) [Jun 05 08:25:32] Machine:pavlova Jun 12 06:44:08 Claimed job Jun 12 06:44:11 Reusing HOL Jun 12 06:44:12 FAILED: building HOL