so_generated

I put so_generated directory in the micromega directory.