message(FATAL_ERROR "This should not be reached!")