The piglit we've got packaged in ppa:checkbox-dev/ppa and the corresponding Debian package don't have this problem. Closing.
The piglit we've got packaged in ppa:checkbox- dev/ppa and the corresponding Debian package don't have this problem. Closing.