Fixed webgl_animation_skinning_blending not working on Linux systems. See #4740.
Merge branch 'master' into dev