Update texwrapper.js