package: removed MinGW32 Jenkins CI configuration.

Can't test it on my system anymore and it would only be getting stale
and more useless over time.
Shaders: fix build on ES3.

I'm starting to hate these rushed prerelease fixes.