more on managing files and selinux with puppet