Dumping PHP_BINARY.