Fixed webgl_animation_skinning_blending not working on Linux systems. See #4740.