bumped the version for the update of jslint