Update objgrep.js