Use github packages, for lack of better alternative. Note: this requires that we post the most up-to-date version number somewhere