Fixing apt-get install recommendations in manual.