Does it make sense to use drush_shell_proc_open() instead of exec()?