Revise: add manifest file for SMACK label setting.