More revision to manual instructions to match makefile.