Bug in audit2allow?