I'd rather not expose buildername here - users should be using builderid as the primary index for builders.  That it's in the DB API is a legacy detail to be fixed later.