[PATCH] selinux: fix memory leak