remove jslint, too slow