Updated TernJS core