Pipe stdin into commands using run_ so interactive things run this way work (ghci for example).