configure.in: add a level of expansion for mandir when printing the