datarootdir patch

Without this patch, the man pages will be installed in /man (unless datarootdir is set explicitly during configure)