nvcc has these dumb rules for file extensions...