update configure options to use the right man dir