Walkaround for nvcc bug