001+ PHP Warning: PHP Startup: Unable to load dynamic library 'gmp.so' (tried: /opt/php-7.2/lib/php/extensions/no-debug-non-zts-20170718/gmp.so (/opt/php-7.2/lib/php/extensions/no-debug-non-zts-20170718/gmp.so: file too short), /opt/php-7.2/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so (/opt/php-7.2/lib/php/extensions/no-debug-non-zts-20170718/gmp.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0