now i on Linux also have a reasonable font.