Adding extra files to ISOs created by pungi