chapter 4 editline library - not installed by default

[kronos29296]

In Ubuntu the editline library is not installed by default. It may the case in most linux distros.
One must install it manually by the command:

sudo apt-get install libedit-dev

Please mention this in Chapter 4 under the corresponding heading so that others can find that easily.