Replace some dumb code in SQL/Builder.cs wrt to VerifiedBuild