This configure script is free software; the Free Software Foundation gives
unlimited permission to copy, distribute and modify it.