hack to install manpage3 (need make x 2)