this is a recommendation for preventing crashes when php7.1 is added to an implementation of Debian Stretch