Do we not want to use any of the other standard CMAKE flags?