Added test for PHP bug 64208