workaround github's not accepting .tar.xz for release files