Compact Clifford-Klein forms of symmetric spaces -- revisited