I'm not seeing the problem anymore. I guess it has been fixed by http://cgit.freedesktop.org/mesa/mesa/commit/?id=5c86a728d4f688c0fe7fbf9f4b8f88060b65c4ee . Closing.