php: symbol lookup error: php: undefined symbol: pcre_jit_exec

ubuntu14.04 でphp7.2.1を導入した際、以下のようなエラーが発生したので
その時の解決手順を残します

vagrant@vagrant-ubuntu-trusty-64:~$ php -v
php: symbol lookup error: php: undefined symbol: pcre_jit_exec

vagrant@vagrant-ubuntu-trusty-64:~$apt-get install libpcre3

vagrant@vagrant-ubuntu-trusty-64:~$ php -v
PHP 7.2.1-1+ubuntu14.04.1+deb.sury.org+1 (cli) (built: Jan 11 2018 22:52:58) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2017 Zend Technologies
   with Zend OPcache v7.2.1-1+ubuntu14.04.1+deb.sury.org+1, Copyright (c) 1999-2017, by Zend Technologies

これで解決です。