Bump lens to 4.1.2 (4.2 does not work yet)