sci-apps/z3: Add mandatory metadata