workaround for an Ubuntu 14.04 bug with nvidia graphics