Fix naming of manifest file in SmartOS