Remove obsolete cmake option