TOMOYO: Several fixes for TOMOYO's management programs.