Fix some dialyzer warnings related to the concurix vm.