set lang via mining.ini