* configure.in: Set $configdir to the right OS specific value.