More code for IPK archive extraction