fix device name mangling in host function