adding plugman-generated files