Why is this necessary? If it's a CFEngine bug, maybe we could add a comment, so that future us knows to remove this when the bug is fixed?