Review include/dist/configure.sh

Review and update the include/dist/configure.sh file. Make sure it is consistent with the environment variables produced by the current top level configure command. Pay particular attention to the KERVER setting as it is apt to change between releases. For example, if you are building a SMP release, KERVER setting in this config file should remain at the base value (omit "smp").