FIX: ejsDestroyIntern on shutdown