To avoid a warning on Linux (and therefore an error since we consider warnings as errors) [ci skip].