make defs ES5-compatible