thanks, please also include the AVCs when you are reporting back: ausearch -m avc -ts <your test start time> if there are none, please try running `semodule -DB`, reproduce again and also attach the AVCs