Thanks for looking into it. I'd say that if shell=True is working fine for everyone then we can leave it as is. If we find out later that it may cause trouble, then we can go for a more specific solution like you suggest.