fix LibGreenTea.ts