Your comment seems right.
It's from original code of `configure.rb`.