Updated for the new output of the bootcompiler.