quick fix for Greptool for better error handling