fix for nvptx target