Same for settings.hpp