a temporary workaround for HiDPI on Windows/Linux