openvix: build 42