Make nvcc's file names explicity