Re: [OS-BUILD PATCH] Export ark infrastructure files