Fix Manifest files according to the new hdlmake.