Incomplete cleanup in Thales Sentinel LDK Run-Time Environment