Fix #64749 (warning: cast from pointer to integer of different size)
Merge branch 'PHP-5.5'