Fix some shaders under Linux