How to update PHP 7.2 in a Bitnami Wordpress Stack?