Use VLGothic on linux