Fixes #5551: Cfengine stdlib has been modified