fix stdlib build