Set GUI font to DejaVu Mono on Linux