Setup tools: php: error while loading shared libraries: libsodium.so.23: cannot open shared object file: No such file or directory #495