It's not clear to me whether the problem is here or in nnvm. nnvm references a runtime header directly, however, it's not installed when INSTALL_DEV is enabled.
It seems either NNVM should not be using a private header otherwise it should be installed by tvm.