chiark / gitweb /
configure: reorder options