Fix some bugs
  - in the Makefile, avoid using /bin/sh with no "source" command
  - in bench-parsec, runs the true benchmark