Removed boot.sml.