Hi Rico, Any update about this patch? Now ppc64el is officially in Debian, and this issue is causing the following build errror: https://buildd.debian.org/status/fetch.php?pkg=cogl&arch=ppc64el&ver=1.18.2-1&stamp=1408702592