Update up to changes in es5-ext