Trying to get pipes to work...
Merge branch 'pipe_branch' of github.com:ilyanep/pintos-awesome
two commands piped together works, three does not