2014-06-09 16:30 : fix some bugs. done: pipe, input and output redirection