Updated shaders for example 13-stencil.