More elaborate building instructions in README.