updated to patched version of jslint