Minor improvements to configure script and so on.