This option could crash or give wrong results. Bug introduced in 6d99b6d120. The Vector(Vector &) and Vector(const Vector &) constructors are not equivalent. Closes: #1804
6d99b6d120