Fix a minor issue for PID pgrepping

This should fix PID fetching when shell=/path/to/bash