Cactus: restore echo to create make.checked files

this works around issues on some file systems that only update the file modification date when something is actually written, so "true

make.checked" is not updating the modification date, causing make to not consider a thorn library changed.