Added automatic wsgen generation for linux