patched to fix crash in script-lib-sprite.c at quit (maybe with --retain-splash) [release 3.3.2-1mamba;Mon Dec 04 2017]