-NOTE: If you change environment setting, be sure to remove
- any config.cache before running ./configure.
+WARNING: Executable built in your environment may not run
+ in your user's environments. The portability of
+ executables between environments is your responsibility.