Update to latest upstream

Fix libaxolotl package changes

Use official server