This should only be used if VLC deadlocks, or takes an awfully long time
to clean up. That will let VLC be killed as with the older signals
handler.