Very slow shader compilation (Galaxy S3 mini)

Hi!

I have a game in Google Play and I'm having problems with (at least) one of the devices, the Galaxy S3 mini with a Mali-400MP.

There's a shader which takes 20 to 30 seconds to be compiled, leading to users thinking that the device just crashed. The shader is this

#ifdef GL_ES precision highp float; precision mediump int; #endif uniform - Pastebin.com  (nothing specially complex, I think)

and the issue with more information is here:

Weird freeze compiling shader on Galaxy S3 Mini · Issue #2496 · mono/MonoGame · GitHub

Any ideas?

Thanks!

p.s. Can I use Mali graphics debugger with 4.1.2? Instructions to install only refer to 4.2+