use Alloy4.2 by default