Use exec api in a way that is robust in face of shell-special characters