use manifest.mf (closes #1)