Display a line on the CUDF file to say when we use the internal solver