More build fixes.

- Updated README
- Fixed term.ml