0001-Don-t-build-sodium-extension-for-PHP-7.2.patch
