I think my Pi is still on 32 bit userspace so 64 bit php is problematic. Found this issue, unfortunately without solution: