If you are absolutely sure this is happening, post a bug report in the bug hunt forum.

A possible workaround could be video_switch(0,0,0); after the load, try it.

shader tutorial