Config changes for devel4