Add section on stdlib compilation