Fixing regression, manifest.mini was undefined. Fixes bug#967594