redirect files for some of Edi's libraries.

I haven't tested if these are well formed, if not tell me what's wrong and I'll regenerated them.