php5.6-opcache: maintainer-script-empty prerm