Smack: Use d_is_positive() rather than testing dentry->d_inode