[Bug 987318] server:php:extensions/php5-igbinary: Bug