Changelog addition mentioning the PHP5.5 bug