remove theme_man sepolicy file