use latest Alloy4.2 by default

.als = Alloy4.2
.als41 = Alloy4.1