Factor out verify_packages.h