Bugs fixed:

  * $PATH could land up with duplicates in it
  * HIST_STAMPS was in the wrong format