init_shell.te Fix unknown type error