Fix timestamp bug.

Also upgrade dist-install to use the new names
of some tools. All tools except webserver now start
with flx or flx_. So we can get rid of Felix from
/usr/bin more easily.