issue #1712: Getting DPI support for Linux.