makelib: verify_partial