christopher mark Thu, 28 Sep 2017 13:16:56 -0700
Also, as it may be of relevance, I am running Nvidia properitary drivers.
