[krbdev.mit.edu #8356] Change default prefix to /usr/local/

[Greg Hudson via RT]

[richter at richtercloud.de - Tue Feb  9 13:06:44 2016]:
> Running `./configure` without arguments causes the installation prefix
> to be `/usr/`

I just did a test configure on Ubuntu 15.10 and the prefix defaulted to 
/usr/local, as I am used to and would expect.  We certainly don't do 
anything to intentionally change the autoconf default prefix.

Do you perhaps have a config.site file somewhere which is changing the 
default?