Update DSO locations in man page.  (Debian bug #763732)
Portuguese man page translation from Américo Monteiro (Debian bug #757788)
missing portuguese bit