delete unused cmake options