Update grepbugs.py