Fixed bug #67715 (php-milter does not build and crashes randomly).