push some c files from debian onto github