making grep.py work