A closer look at a recent privilege escalation bug in Linux (CVE-2013-2094)