do not use -- as a prefix for tools/configure option