Fix bad packed version of the extension