fix default font on Ubuntu