I am glad it worked! I will try to set-up a Pi OS 64 sometime here too, so that I can provide the 64bits package too.
