packed the extension, changed its repository and added a missing file