Hi Yash,
 
Unfortunately I could not solve the problem and went a different way. I now use ostree to provide the SDK. 
 
Regards,
Sandro