Fix for the installation of the man page