Now the tools don't get built on `make all' but instead have their own target called `tools'. It might be reasonable to move them into their own directory sometime, instead of cluttering `src'.
