// autokill.php because ACLs do not work anymore