fixed build with CUDA 4.2