--- a/share/hedgewars/Data/Shaders/default.vs	Tue Jan 02 16:59:04 2018 -0500
+++ b/share/hedgewars/Data/Shaders/default.vs	Fri Jan 05 16:12:19 2018 -0500
@@ -1,4 +1,6 @@
+#ifdef GL_ES
 precision mediump float;
+#endif
 
 attribute vec2 vertex;
 attribute vec2 texcoord;