Fixed packaging and headers for the generated Mix10 lib files