openvix: build 712