Update the obsolete command for how to list all configure options. Breakage reported by rhubarbpieguy.