adding generated files; not sure if this is the best thing to do...