Fixed settings_linux.ini and added a hard-coded path for the default font on linux