readded the c files for the randomkit