Necessary change to cope with latest OpenType.js