7zip 23.01 built from the original sources using the Format7zF bundle

TODO: try to get the optimized version of 7z.so by using the custom makefiles.