If that's the case, the built-in shaders can also be adjusted by first converting them via the "Convert to ShaderMaterial" menu. They lose their original form, hence ease of use, but
highp, etc. can be inserted that way where needed. In any case, the link the OP provided hasn't been working for me, so I'm going by what's in his question text. He seems to have left the discussion anyway.