Doublecheck the Security of Your Linux