files for tutorial on rpsec and friends