rename build -> unibuild in constraint solver too