The install procedure still needs work.  For now, just do
  cd src
  make
