source3/script: fix installman.sh after the last build-manpages-nogit change